Feasible(D)
== (i:Id. Feasible(M(i)))
== & (l:IdLnk, tg:Id. M(source(l)).dout(l,tg)  M(destination(l)).din(l,tg))
== & (i:Id. finite-type({l:IdLnk| destination(l) = i & M(source(l)) sends on link l })) 

latex

---

clarification:

d-feasible{i:l}
d-feasible(D)
== (i:Id. ma-feasible{i:l}(d-m(D; i)))
== & (l:IdLnk, tg:Id. d-m(D; source(l)).dout(l,tg)  d-m(D; destination(l)).din(l,tg))
== & (i:Id.
== & (finite-type({l:IdLnk| destination(l) = i  Id & d-m(D; source(l)) sends on link l })) 

latex

Definitions	Feasible(M), M.dout(l,tg), M.din(l,tg), x:A. B(x), finite-type(T), {x:A| B(x) }, IdLnk, P & Q, s = t, Id, destination(l), b, M sends on link l, M(i), source(l)
FDL editor aliases	d-feasible